<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>TMFFBoss</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="TMFFBoss";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/TheoremLoaderBoss.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/UtilConstants.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/TMFFBoss.html" target="_top">Frames</a></li>
<li><a href="TMFFBoss.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#fields_inherited_from_class_mmj.util.Boss">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.util</div>
<h2 title="Class TMFFBoss" class="title">Class TMFFBoss</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li><a href="../../mmj/util/Boss.html" title="class in mmj.util">mmj.util.Boss</a></li>
<li>
<ul class="inheritance">
<li>mmj.util.TMFFBoss</li>
</ul>
</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">TMFFBoss</span>
extends <a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></pre>
<div class="block">Responsible for building a TMFFPreferences object, ensuring its integrity,
 and providing references to it upon demand.
 <p>
 TMFF is a sub-system used primarily in Proof Assistant but also in Dump, and
 wherever formulas are formatted. Therefore, it is not invoked directly by
 RunParms, but by services which use its services.
 <p>
 A reference to TMFFPreferences is stored *inside* TMFFPreferences, primarily
 for convenience in passing parameters to its main customer :) However,
 TMFFPreferences can live outside of TMFFPreferences and this code needs to
 maintain situational awareness of the state of the system. Specifically, TMFF
 relies upon .mm statements being parsed before TMFF formatting. Also, in the
 future it may be that an enhancement to TMFF which uses TMFFScheme assignents
 at the level of individual Syntax Axioms will be added. This would quite
 possibly involve storing information about the TMFFSchemes in an array -- one
 element for each TMFFFormat -- inside mmj.lang.Axiom so that TMFF can
 directly access the correct TMFFMethod without doing a lookup. In that event
 the loading and parsing of a new .mm file would be of critical interest as it
 would require re-application of updates to the Syntax mmj.lang.Axiom objects.
 (Programmatically this could be handled by the GrammarBoss notifying the
 TMFFBoss -- who would do nothing if TMFFPreferences is not already in
 existence, but if it is, then it would re-apply any syntax axiom-related
 updates.)
 <p>
 Other notes:
 <ul>
 <li>Remember that Messages, LogicalSystem and other objects may have changed.
 Don't worry about whether or not file is loaded, the LogicalSystemBoss will
 throw an exception if attempt is made to retrieve LogicalSystem if it is not
 loaded and error free.
 <li>If clear, RunParm values to null, etc.
 </ul></div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<ul class="blockList">
<li class="blockList"><a name="fields_inherited_from_class_mmj.util.Boss">
<!--   -->
</a>
<h3>Fields inherited from class&nbsp;mmj.util.<a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></h3>
<code><a href="../../mmj/util/Boss.html#batchFramework">batchFramework</a></code></li>
</ul>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/util/TMFFBoss.html#TMFFBoss(mmj.util.BatchFramework)">TMFFBoss</a></strong>(<a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a>&nbsp;batchFramework)</code>
<div class="block">Constructor with BatchFramework for access to environment.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span>Methods</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected <a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#buildTMFFPreferences()">buildTMFFPreferences</a></strong>()</code>
<div class="block">Construct TMFFPreferences object from scratch.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#checkTMFFCanBeRunNow()">checkTMFFCanBeRunNow</a></strong>()</code>
<div class="block">Check that TMFF can be run now.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#doRunParmCommand(mmj.util.RunParmArrayEntry)">doRunParmCommand</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Executes a single command from the RunParmFile.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#editTMFFAltFormat(mmj.util.RunParmArrayEntry)">editTMFFAltFormat</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">TMFFAltFormat RunParm validation and loading.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#editTMFFAltIndent(mmj.util.RunParmArrayEntry)">editTMFFAltIndent</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">TMFFAltIndent RunParm validation and loading.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#editTMFFDefineFormat(mmj.util.RunParmArrayEntry)">editTMFFDefineFormat</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">TMFFDefineFormat RunParm validation and loading.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#editTMFFDefineScheme(mmj.util.RunParmArrayEntry)">editTMFFDefineScheme</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">TMFFDefineScheme RunParm validation and loading.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#editTMFFUseFormat(mmj.util.RunParmArrayEntry)">editTMFFUseFormat</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">TMFFUseFormat RunParm validation and loading.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#editTMFFUseIndent(mmj.util.RunParmArrayEntry)">editTMFFUseIndent</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">TMFFUseIndent RunParm validation and loading.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/TMFFBoss.html#getTMFFPreferences()">getTMFFPreferences</a></strong>()</code>
<div class="block">Fetches a reference to the TMFFPreferences, first initializing it if
 necessary.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_mmj.util.Boss">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;mmj.util.<a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></h3>
<code><a href="../../mmj/util/Boss.html#buildFileObjectForExistingFile(java.io.File, java.lang.String, java.lang.String)">buildFileObjectForExistingFile</a>, <a href="../../mmj/util/Boss.html#buildFileObjectForExistingFolder(java.io.File, java.lang.String, java.lang.String)">buildFileObjectForExistingFolder</a>, <a href="../../mmj/util/Boss.html#doConstructBufferedFileReader(java.lang.String, java.lang.String, java.io.File)">doConstructBufferedFileReader</a>, <a href="../../mmj/util/Boss.html#doConstructBufferedFileWriter(java.lang.String, java.lang.String, java.lang.String, java.io.File)">doConstructBufferedFileWriter</a>, <a href="../../mmj/util/Boss.html#doConstructPrintWriter(java.io.File, java.lang.String, java.lang.String, java.lang.String, java.lang.String)">doConstructPrintWriter</a>, <a href="../../mmj/util/Boss.html#editExistingFileRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFileRunParm</a>, <a href="../../mmj/util/Boss.html#editExistingFolderNameParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFolderNameParm</a>, <a href="../../mmj/util/Boss.html#editExistingFolderRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFolderRunParm</a>, <a href="../../mmj/util/Boss.html#editFileCharsetParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileCharsetParm</a>, <a href="../../mmj/util/Boss.html#editFileNameParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileNameParm</a>, <a href="../../mmj/util/Boss.html#editFileUsageParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileUsageParm</a>, <a href="../../mmj/util/Boss.html#editOnOffRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editOnOffRunParm</a>, <a href="../../mmj/util/Boss.html#editPrintWriterRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String)">editPrintWriterRunParm</a>, <a href="../../mmj/util/Boss.html#editProofWorksheetFileNameSuffix(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofWorksheetFileNameSuffix</a>, <a href="../../mmj/util/Boss.html#editRunParmNonNegativeInteger(java.lang.Integer, java.lang.String)">editRunParmNonNegativeInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmPositiveInteger(java.lang.Integer, java.lang.String)">editRunParmPositiveInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmPrintableNoBlanksString(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmPrintableNoBlanksString</a>, <a href="../../mmj/util/Boss.html#editRunParmValueInteger(java.lang.String, java.lang.String)">editRunParmValueInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqNonNegativeInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqNonNegativeInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqPosInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqPosInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqRGBColor(mmj.util.RunParmArrayEntry, java.lang.String)">editRunParmValueReqRGBColor</a>, <a href="../../mmj/util/Boss.html#editRunParmValuesLength(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValuesLength</a>, <a href="../../mmj/util/Boss.html#editRunParmValueStmt(java.lang.String, java.lang.String, mmj.lang.LogicalSystem)">editRunParmValueStmt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueTheorem(java.lang.String, java.lang.String, mmj.lang.LogicalSystem)">editRunParmValueTheorem</a>, <a href="../../mmj/util/Boss.html#editYesNoRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editYesNoRunParm</a>, <a href="../../mmj/util/Boss.html#getSelectorAllRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int)">getSelectorAllRunParmOption</a>, <a href="../../mmj/util/Boss.html#getSelectorCountRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int)">getSelectorCountRunParmOption</a>, <a href="../../mmj/util/Boss.html#getSelectorTheoremRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int, java.util.Map)">getSelectorTheoremRunParmOption</a></code></li>
</ul>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="TMFFBoss(mmj.util.BatchFramework)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>TMFFBoss</h4>
<pre>public&nbsp;TMFFBoss(<a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a>&nbsp;batchFramework)</pre>
<div class="block">Constructor with BatchFramework for access to environment.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>batchFramework</code> - for access to environment.</dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method_detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="doRunParmCommand(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doRunParmCommand</h4>
<pre>public&nbsp;boolean&nbsp;doRunParmCommand(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                         throws java.lang.IllegalArgumentException,
                                <a href="../../mmj/mmio/MMIOException.html" title="class in mmj.mmio">MMIOException</a>,
                                java.io.FileNotFoundException,
                                java.io.IOException,
                                <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Executes a single command from the RunParmFile.</div>
<dl>
<dt><strong>Specified by:</strong></dt>
<dd><code><a href="../../mmj/util/Boss.html#doRunParmCommand(mmj.util.RunParmArrayEntry)">doRunParmCommand</a></code>&nbsp;in class&nbsp;<code><a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></code></dd>
<dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - the RunParmFile line to execute.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean "consumed" indicating that the input runParm should not
         be processed again.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred in the RunParm</dd>
<dd><code><a href="../../mmj/mmio/MMIOException.html" title="class in mmj.mmio">MMIOException</a></code> - if an error occurred in the RunParm</dd>
<dd><code>java.io.FileNotFoundException</code> - if an error occurred in the RunParm</dd>
<dd><code>java.io.IOException</code> - if an error occurred in the RunParm</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred in the RunParm</dd></dl>
</li>
</ul>
<a name="editTMFFDefineScheme(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editTMFFDefineScheme</h4>
<pre>protected&nbsp;void&nbsp;editTMFFDefineScheme(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">TMFFDefineScheme RunParm validation and loading.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="editTMFFDefineFormat(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editTMFFDefineFormat</h4>
<pre>protected&nbsp;void&nbsp;editTMFFDefineFormat(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">TMFFDefineFormat RunParm validation and loading.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="editTMFFUseFormat(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editTMFFUseFormat</h4>
<pre>protected&nbsp;void&nbsp;editTMFFUseFormat(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">TMFFUseFormat RunParm validation and loading. Checks for valid format
 number *and* if a format number other than 0 (unformatted) is requested,
 checks to see that TMFF can be run (i.e. that the Grammar has been
 initialized and all input statements have been parsed).</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="editTMFFAltFormat(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editTMFFAltFormat</h4>
<pre>protected&nbsp;void&nbsp;editTMFFAltFormat(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">TMFFAltFormat RunParm validation and loading. Checks for valid format
 number *and* if a format number other than 0 (unformatted) is requested,
 checks to see that TMFF can be run (i.e. that the Grammar has been
 initialized and all input statements have been parsed).</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="editTMFFUseIndent(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editTMFFUseIndent</h4>
<pre>protected&nbsp;void&nbsp;editTMFFUseIndent(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">TMFFUseIndent RunParm validation and loading. Checks for valid format
 number *and* if a format number other than 0 (unformatted) is requested,
 checks to see that TMFF can be run (i.e. that the Grammar has been
 initialized and all input statements have been parsed).</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="editTMFFAltIndent(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editTMFFAltIndent</h4>
<pre>protected&nbsp;void&nbsp;editTMFFAltIndent(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">TMFFAltIndent RunParm validation and loading. Checks for valid format
 number *and* if a format number other than 0 (unformatted) is requested,
 checks to see that TMFF can be run (i.e. that the Grammar has been
 initialized and all input statements have been parsed).</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="getTMFFPreferences()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getTMFFPreferences</h4>
<pre>public&nbsp;<a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a>&nbsp;getTMFFPreferences()</pre>
<div class="block">Fetches a reference to the TMFFPreferences, first initializing it if
 necessary.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>TMFFPreferences object ready to go.</dd></dl>
</li>
</ul>
<a name="buildTMFFPreferences()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>buildTMFFPreferences</h4>
<pre>protected&nbsp;<a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a>&nbsp;buildTMFFPreferences()</pre>
<div class="block">Construct TMFFPreferences object from scratch.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>TMFFPreferences object ready to go.</dd></dl>
</li>
</ul>
<a name="checkTMFFCanBeRunNow()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>checkTMFFCanBeRunNow</h4>
<pre>protected&nbsp;void&nbsp;checkTMFFCanBeRunNow()</pre>
<div class="block">Check that TMFF can be run now. Requires that all .mm statements have
 been previously parsed -- grammatically validated -- otherwise it refuses
 to do its job...
 <p>
 In fact, if the grammar is not pre-initialized when the instruction
 pointer reaches this code, a Exception is thrown. The rationale is that
 ProofAsstBoss will check grammar initialization before invoking this
 anyway, and we'll just make the user fix the problem for other
 invocations before doing anything else. This will save having to check if
 'tmffPreferences == null' everywhere else. Ugly, but...</div>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/TheoremLoaderBoss.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/UtilConstants.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/TMFFBoss.html" target="_top">Frames</a></li>
<li><a href="TMFFBoss.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#fields_inherited_from_class_mmj.util.Boss">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
